Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996

Source URL: webfoot.com

• Web browsers
• System software
• Software
• Tab
• Mylyn
• Computing

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

Skill Squatting Attacks on Amazon Alexa Deepak Kumar University of Illinois Riccardo Paccagnella

Source URL: kumarde.com

• Amazon
• Amazon Alexa
• Affordable housing
• Anarcho-punk
• DIY culture
• Real property law
• Alexa
• Squatting
• Deepak
• Artificial intelligence
• Human behavior
• Land law

COMPLETE COUNT COMMISSION Chicago, JRTC, 100 West Randolph, RoomSpringfield, Illinois State Library, 300 South Second Street, Room 207 Tuesday, August 28, :00 a.m. AGENDA I.

Source URL: illinoiscensus2020.com

COMPLETE COUNT COMMISSION Chicago, JRTC, 100 West Randolph, RoomSpringfield, Illinois State Library, 300 South Second Street, Room 207 Tuesday, September 25, :00 a.m. AGENDA I.

Source URL: illinoiscensus2020.com

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

Source URL: web.engr.illinois.edu

• Mathematical software
• Application software
• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Discrete mathematics
• Verification
• Quantifier elimination
• Formal verification
• Model checking
• Computer science

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol Parasara Sridhar Duggirala1, Le Wang1 , Sayan Mitra1 , Mahesh Viswanathan1 , and C´esar Mu˜noz2 1

Source URL: publish.illinois.edu

• Symbol
• Continuous function
• Mathematics
• Ergodic theory
• Computability theory
• operator
• Ergodic flow

Cost analysis of hash collisions: will quantum computers make SHARCS obsolete? D. J. Bernstein University of Illinois at Chicago NSF ITR–

Source URL: www.hyperelliptic.org

• Theoretical computer science
• Emerging technologies
• Quantum information science
• Quantum computing
• Quantum cryptography
• Applied mathematics
• Quantum mechanics
• Quantum algorithm
• Hash function
• Quantum information
• Quantum machine learning

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 3: More Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Public-key cryptography
• Commitment scheme
• Secret sharing
• Negligible function
• XTR
• Zero-knowledge proof

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton